%verify "executed"
    b         common_returnFromMethod

